	Analize the behavior in RTL-Tokio on the structure in Prolog

Files and Tools
 
    Main
	am.pl : analizer Main

    Translator 
	ar.pl : tRanslator main
	at.pl : Term translate

    Facility Checker 
	ad.pl : main
	as.pl : expand Structure ( preprocess )
	av.pl : register that local Variable means
	ap.pl : Path search main
	ao.pl : separate Operation 
	ae.pl : Equal operation 
	aw.pl : operation that handles bit Widths
	ac.pl : Connection from source to destination 

    Time Tracer
	ab.pl : Backward tracing main
	ah.pl : check if two state Happen at same time
	af.pl : Forward tracing
	al.pl : minimum Length of subint or maximum of clause

    	init.pl : initialize SICStus for analizing


Execution

	quate Local Variable in RTL-Tokio file
		( % sed -f sed_file file_name )
	
	start sicstus

	consult init.pl 
		
	and consult data path file 

	run predicate analize for backward trace
		      analize2 for forward trace

		( :- analize('quated-RTL-Tokio-File'). )

Result 

	file name	contents

	@trans.out	translation output 
			   ( data-transfer table and
				      interval transition table )

	@facility 	facility table	

	@path 		process path searching and path table

	@backward	process and result of backward tracing

	@forward	process and result of forward tracing

	@sameTimeState  check implementation of states 
				that happen at same time

	@structure 	expanded structure
